(assert (forall ((a Real)) (> a (+ (/ 0 0) 0) 0)))
(check-sat)
